Axioms In Logic